Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers Stefania GnesiDiego Latella Introduction Pages: 119 - 120
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment Werner DammJochen Klose OriginalPaper Pages: 121 - 141
Using Hybrid Automata to Support Human Factors Analysis in a Critical System G. DohertyM. MassinkG. Faconti OriginalPaper Pages: 143 - 164
A Timed Verification of the IEEE 1394 Leader Election Protocol Judi Romijn OriginalPaper Pages: 165 - 194
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods Jan TretmansKlaas WijbransMichel Chaudron OriginalPaper Pages: 195 - 215