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