Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte / Stefan Conrad. Düsseldorf : VDI-Verl., 1994