Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. Volume 1235 of CEUR Workshop Proceedings, pages 49-58, CEUR-WS.org, 2014. [doi]
Abstract is missing.