Benjamin H. Y. Koo, Willard L. Simmons, Edward F. Crawley: Algebra of Systems: An Executable Framework for Model Synthesis and Evaluation. ICSEM 2007: 42-49