@article{'BHO4',
title = { Verification and validation meet planning and scheduling },
author = {Bensalem, Saddek and Havelund, Klaus and Orlandini, Andrea},
year = {2014},
journal = {{STTT}},
number = {1},
pages = {1--12},
volume = {16},
team = {DCS, RSD},
}
