Bersani M.; Distefano S.; Ferrucci L.; Mazzara M.
(2015)
© Springer International Publishing Switzerland 2015. We formalize timed workflow with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking are methodologies to iteratively ...