The inverse method parametric verification of real-time embedded systems - Andre, Etienne (John Wiley & Sons, 2013)