Specification and Validation of a Simple Overtaking Protokol using LOTOS. - Patrik Ernberg; Lars-Åke Fredlund; Bengt Jonsson 001 (FORTE, 1991)

Specification and implementation of an ISDN telephone system using LOTOS. - Patrik Ernberg; Thomas Hovander; Francisco Monfort (FORTE, 1992)