Christo Angelov, Krzysztof Sierszecki, Yu Guo. Formal Design Models for Distributed Embedded Control Systems. In Stefan Van Baelen, Thomas Weigert, Ileana Ober, editors, Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009. Volume 507 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
Abstract is missing.