Requirements modelling by synthesis of deontic input-output automata.

Emmanuel Letier, William Heaven

Browse the full ICSE paper archive.