Requirements Modelling by Synthesis of Deontic Input-Output Automata (2013)

by E Letier, W Heaven
Venue:in Proc. of ICSE 2013, IEEE