Ondrej Rysavy, Jaroslav Ráb. A component-based approach to verification of embedded control systems using TLA:::+:::. In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008. pages 719-725, IEEE, 2008. [doi]
Abstract is missing.