Laura Carnevali Leonardo Grassi Enrico Vicario A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. 87-100 2008 Ada-Europe http://dx.doi.org/10.1007/978-3-540-68624-8_7 conf/adaEurope/2008 db/conf/adaEurope/adaEurope2008.html#CarnevaliGV08