A Balancing Act: Analyzing a Distributed Lift System (2001)

by Jan Friso Groote, Jun Pang, Arno Wouters
Venue:IN S. GNESI AND U. ULTES-NITSCHE, EDS, PROCEEDINGS 6TH WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS'2001