@article{OrlandiniSTT,
year={2014},
issn={1433-2779},
journal={International Journal on Software Tools for Technology Transfer},
volume={16},
number={1},
doi={10.1007/s10009-013-0294-x},
title={Verification and validation meet planning and scheduling},
url={http://dx.doi.org/10.1007/s10009-013-0294-x},
publisher={Springer Berlin Heidelberg},
keywords={Verification and validation; Planning and scheduling; Model checking; Theorem proving; Testing; Monitoring},
author={Bensalem, Saddek and Havelund, Klaus and Orlandini, Andrea},
pages={1-12},
language={English}
}