Action Machines – Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation Wolfgang Grieskamp Nikolai Tillmann May 2005 Technical Report MSR-TR-2005-60 Microsoft Research Microsoft Corporation One Microsoft Way Redmond, WA 98052 http://www.research.microsoft.com