selected publications chapter Tool support for formal software development: A generic architecture. Springer eBooks. 272-293. 1995 conference paper Components, platforms and possibilities. . 2010