Using formal methods to develop a complex information system: a practical/theoretical experience. - César Andrés; Rafael G. Aranda; Manuel Núñez 001 (SAC, 2008)