| Rapid Prototyping for an Assertional Specification language | 1 | 0.38 | 1996 |
| The specification and verification of an experimental ATM signalling protocol | 3 | 0.44 | 1995 |
| A Solution Relying on the Model Checking of Boolean Transition Systems | 4 | 0.80 | 1994 |
| Combining the Design of Industrial Systems with Effective Verification Techniques | 10 | 1.00 | 1994 |
