Requirements modelling by synthesis of deontic input-output automata | IEEE Conference Publication | IEEE Xplore