Authors: CHAN W ANDERSON RJ BEAME P BURNS S MODUGNO F NOTKIN D REESE JD

Citation: W. Chan et al., MODEL CHECKING LARGE SOFTWARE SPECIFICATIONS, IEEE transactions on software engineering, 24(7), 1998, pp. 498-520

Authors: LEVESON NG HEIMDAHL MPE HILDRETH H REESE JD

Citation: Ng. Leveson et al., REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS, IEEE transactions on software engineering, 20(9), 1994, pp. 684-707