"UML-ising' Formal Techniques. - Dines Bjørner; Chris George; Anne E. Haxthausen; Christian Krog Madsen; Steffen Holmslykke; Martin Pnika (SoftSpez Final Report, 2004)