Tool support for the rapid composition, analysis and implementation of reactive services

Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann. Tool support for the rapid composition, analysis and implementation of reactive services. Journal of Systems and Software, 82(12):2068-2080, 2009. [doi]

Abstract

Abstract is missing.