Squiggles - A Tool for the Analysis of LOTOS Specifications. - Tommaso Bolognesi; Maurizio Caneve (FORTE, 1988)