A balancing act: analyzing a distributed lift system in (2001)

by J F Groote, J Pang, A G Wouters
Venue:Ultes-Nitgche (Eds.), Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems FMICS’2001