Formal Design Models for Distributed Embedded Control Systems.

Christo Angelov, Krzysztof Sierszecki, Yu Guo

Browse the full MODELS paper archive.