Verification Techniques for Hybrid Systems | Publicación