hscc 12 proceedings of the 15th acm international conference on hybrid systems: computation and control (en Inglés)

· acm press