A modeling framework to implement preemption policies on nonMarkovian SPNs (2000)

by A Bobbio, A Puliafito, M Tekel
Venue:IEEE Transations on Software Engineering