Towards Component Based Design of Hybrid Systems: Safety and Stability Damm, Werner Dierks, Henning Oehlerking, Jens Pnueli, Amir 2010 - ReposIt