Integrated validation of real-time system models | Publicación