Title: Applying process refinement to a safety-relevantsystem
First published: 1994
Subjects: Computer network protocols, Modality (Logic)