S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,”10.1007/s10270-003-0026-x__Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, pp. 164–186, 2003, doi:10.1007/s10270-003-0026-x .
LibreCat: /record/34565
DOI: 10.1007/s10270-003-0026-x