An LTL Semantics of BusinessWorkflows with Recovery Topics: Model Analysis and Checking; Model Tools; Modeling Languages In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 0ICSOFT, 29-40, 2014 , Vienna, Austria