TY - RPRT TI - Runtime Enforcement With Partial Control AU - Raphaël Khoury AU - Sylvain Hallé PY - 2015 UR - https://arxiv.org/abs/1508.06525 ID - 1508.06525 ER -