HOPS: A Prototypical Specification Tool for Interactive Systems. - Anke Dittmar; Toralf Hübner; Peter Forbrig (DSV-IS, 2008)