selected publications chapter Abstract State Machines for the Composition of Architectural Styles. Springer eBooks. 54-61. 2000