A formal framework for modeling and validating simulink diagrams
scientific article; zbMATH DE number 5633143