SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES Topics: Modeling Formalisms, Languages and Notations In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS, 42-49, 2008 , Barcelona, Spain