Péter Wolkensdorfer, József Harangozó. The Application of the Formal Description Language LOTOS for the Design of Process Control Systems. In 23rd EUROMICRO Conference 97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary. pages 257-264, IEEE Computer Society, 1997. [doi]
Abstract is missing.