1. Cobertura project,
http://cobertura.sourceforge.net/
2. ISO 8583 standard for financial transaction card originated messages - interchange message specifications – part 1: Messages, data elements and code values (2003)
3. Asadi, H.R., Khosravi, R., Mousavi, M.R., Noroozi, N.: Towards Model-Based Testing of Electronic Funds Transfer Systems. Technical Report CSR-10-04, Department of Computer Science, Eindhoven University of Technology (May 2010)
4. Behrmann, G., David, A., Larsen, K., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Proc. of QEST 2006, pp. 125–126. IEEE CS (2006)
5. Lecture Notes in Computer Science,2005