Selected Contributions on Specification, Design, and Verification from FDL’08
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 3-26
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 27-41
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 43-56
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 57-69
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 71-84