1. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. JAAMAS 8(3), 203–236 (2004)
2. Bryl, V., Ferrario, R., Mattioli, A., Villafiorita, A.: Evaluating Procedural Alternatives in an e-Voting Domain: Lesson Learned. Technical Report DIT-07-005, University of Trento (2007)
3. Lecture Notes in Computer Science;V. Bryl,2006
4. Lecture Notes in Computer Science;V. Bryl,2006
5. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20, 3–50 (1993)