TY - RPRT TI - A unified framework for modeling and implementation of hybrid systems with synchronous controllers AU - Avinash Malik AU - Partha Roop PY - 2015 UR - https://arxiv.org/abs/1501.05936 ID - 1501.05936 ER -