Generating Code from Hierarchical State-Based Requirements. - Mats Per Erik Heimdahl; David J. Keenan (RE, 1997)