Model-Based Verification of Dynamic System Behavior Against Requirements : Method, Language, and Tool. - Schamai, Wladimir. (Linköping Studies in Science and Technology. Dissertations Series, 2013)