TY - RPRT TI - A category of hybrid systems AU - Eugene Lerman PY - 2016 UR - https://arxiv.org/abs/1612.01950 ID - 1612.01950 ER -