Tools for Object Oriented Formal Specification Technique. - Gert Nilsson; P. Blysa (TOOLS (7), 1992)

SDT a tool for complex real-time systems. - P. Blysa (ICECCS, 1995)