1. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)
2. Fadlisyah, M., Ölveczky, P.C., Ábrahám, E.: Formal modeling and analysis of hybrid systems in rewriting logic using higher order numerical methods and discrete-event detection. In: Proc. CSSE 2011. IEEE (2011)
3. Lecture Notes in Computer Science;M. Fadlisyah,2011
4. Lecture Notes in Computer Science;M. Fadlisyah,2012
5. Wellstead, P.E.: Introduction to physical system modelling. Academic Press (1979)