@inproceedings{amn08,
author = "C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title = "Formal Development of a Complex Information System",
booktitle="3rd Int. Conf. on Systems, ICONS'08",
YEAR = "2008",
publisher="IEEE Computer Society Press",
pages="118--123"}