Non-markovian analysis for model driven engineering of real-time software. - Laura Carnevali; Marco Paolieri; Alessandro Santoni; Enrico Vicario (ICPE, 2013)