@inproceedings{amn08c,
author = "C. Andr{\'e}s and C. Molinero and {M.} {N}{\'u}{\~n}ez",
title = "A Formal Methodology to Specify Hierarchical Agent-Based Systems",
booktitle="4th Int. Conf. on Signal-Image Technology \& Internet-based Systems, SITIS'08",
YEAR = "2008",
publisher="IEEE Computer Society Press",
pages="169--176"}