Einollah Pira, Vahid Rafe, Amin Nikanjam: Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations. Inf. Softw. Technol. 97: 110-134 (2018)