Formal specification of stability in hybrid control systems | Publicación