selected publications chapter Tool support for formal software development: A generic architecture. Springer eBooks. 272-293. 1995