1. Abran, A., Bourque, P., Dupuis, R., Moore, J.W., Tripp, L.L. (eds.): Guide to the Software Engineering Body of Knowledge - SWEBOK, 2004 version edn. IEEE Press, Piscataway (2004)
2. Abrial, J.R.: Formal Methods: Theory Becoming Practice. Journal of Universal Computer Science 13(5), 619–628 (2007)
3. Anda, B., Hansen, K., Gullesen, I., Thorsen, H.K.: Experiences from Introducing UML-based Development in a Large Safety-Critical Project. Empirical Software Engineering 11(4), 555–581 (2006)
4. Avison, D.E., Lau, F., Myers, M.D., Nielsen, P.A.: Action Research. Communications of the ACM 42(1), 94–97 (1999)
5. Balmelli, L., Brown, D., Cantor, M., Mott, M.: Model-driven Systems Development. IBM Systems Journal 45(3), 569–586 (2006)