Software tools for the specification language LOTOS / Peter Herman Johan van EijkOn the design of extended LOTOS : a specification language for open distributed systems / door Hendrik BrinksmaTransformations and semantics for LOTOS / Romanus LangerakTussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen / H. BrinksmaSimulation techniques for the validation of LOTOS specifications / Egbert Hendrik EertinkLOTOSphere: software development with LOTOS / ed. by Tommaso Bolognesi, Jeroen van de Lagemaat and Chris Vissers