Ernst-Rüdiger Olderog, Anders P. Ravn. Completeness in formal specification language design for process-control systems. In Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. pages 89-100, ACM, 2000. [doi]
Abstract is missing.