Abstraction based verification of stability of polyhedral switched systems | Publicación