/papers/constructing-control-system-abstractions-from/proceedingspaper-7716527