A Logic-Model Semantics for SCR Software Requirements. - Joanne M. Atlee; Michael A. Buckley (ISSTA, 1996)