1. Bayes server, intelligent systems specialists, http://www.bayesserver.com/ (retrieved December 9, 2012)
2. Arijo, N., Heckel, R.: View-based modelling and state-space generation for graph transformation systems. ECEASST 47 (2012)
3. Bapodra, M., Heckel, R.: Case study - hypothetical immunological response rules (December 2012), http://www.cs.le.ac.uk/people/mb294/docs/CaseStudyRules_v3.pdf
4. Bapodra, M., Heckel, R.: Case study - VoIP rules (October 2012), http://www.cs.le.ac.uk/people/mb294/docs/VoIPCaseStudyRules.pdf
5. Bauer, J., Boneva, I., Kurbán, M., Rensink, A.: A modal-logic based graph abstraction. Graph Transformations, 321–335 (2008)