selected publications chapter A Specification Driven Environment for Microsystem Design. Springer eBooks. 9-16. 1990