Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool - Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool
liu.diva-portal.org