This paper presents an approach for modeling and veri - cation of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling language FocusST that ...