Hybrid Systems with Constraints | lit.salon