Mixing LOTOS and SDL Specifications.

Heinz Saria, Heinrich Nirschl, Carl Binding

Browse the full FORTE paper archive.