Congress on Formal Methods, 1999, Proceedings. Springer. ISBN 3540665870. Jyrinki, Tero (1997). "Dynamical analysis of SDL programs with Predicate/Transition...