1. Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: Simple transformations in Java. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems, pp. 351–364. Springer, Heidelberg (2006).
https://doi.org/10.1007/11880240_25
2. Azab, K., Habel, A., Pennemann, K.H., Zuckschwerdt, C.: ENFORCe: A System for ensuring formal correctness of high-level programs. In: Proceedings 3rd International Workshop on Graph Based Tools (GraBaTs 2006). vol. 1, pp. 82–93. Electronic Communications of the EASST (2007)
3. Bruggink, H.J.S., Cauderlier, R., Hülsbusch, M., König, B.: Conditional reactive systems. In: Proceedings of FSTTCS 2011. LIPIcs, vol. 13. Schloss Dagstuhl - Leibniz Center for Informatics (2011)
4. Lecture Notes in Computer Science;HJS Bruggink,2015
5. Lecture Notes in Computer Science;HJS Bruggink,2014