A. E. Haxthausen

Developing a translator from C programs to data flow graphs using RAISE

A. E. Haxthausen, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.

Stepwise development and model checking of a distributed interlocking system using RAISE

A. E. Haxthausen, S. Geisler, 2020, Formal Aspects of Computing.