Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations | IEEE Conference Publication | IEEE Xplore