@incollection{
year={2013},
isbn={978-3-319-03523-9},
booktitle={AI*IA 2013: Advances in Artificial Intelligence},
volume={8249},
series={Lecture Notes in Computer Science},
editor={Baldoni, Matteo and Baroglio, Cristina and Boella, Guido and Micalizio, Roberto},
doi={10.1007/978-3-319-03524-6_22},
title={Integrating Knowledge Engineering for Planning with Validation and Verification Tools},
url={http://dx.doi.org/10.1007/978-3-319-03524-6_22},
publisher={Springer International Publishing},
keywords={knowledge engineering; validation and verification; timeline-based planning; domain modeling},
author={Orlandini, Andrea and Bernardi, Giulio and Cesta, Amedeo and Finzi, Alberto},
pages={251-262}
}