References

1

Mohamed Faci and Luigi Logrippo. Specifying Hardware in , Proceedings of CHDL'93: IFIP Conference on Hardware Description Languages and their Applications, Ottawa, April 1993, pp. 305-312.

2

Mohamed Faci and Luigi Logrippo. Specifying Features and Analyzing their Interactions in a Environment, TR-93-21, Department of Computer Science, University of Ottawa, 1993.

3

Kazi Farooqui and Luigi Logrippo. Viewpoint Transformation. Proceedings of the International Conference on Open Distributed Processing, Berlin, 1993, pp. 352-562.

4

Guy Leduc. A Framework based on implementation relations for implementing specifications, Computer Networks and ISDN Systems, 25 (1992), 23-41.

5

Luc Léonard and Guy Leduc. An Enhanced Version of Timed and its Application to a Case Study, to appear in: R. Tenney, P. Amer, U. Uyar, eds, IFIP Transactions C-...: Formal Description Techniques VI, Elsevier Science Publishers B.V. (North-Holland), Amsterdam (1994).

6

Charles Pecheur. VLib: Infinite Virtual Libraries for , in: A. Danthine, G. Leduc, P. Wolper, eds, Protocol Specification, Testing and Verification XI, Elsevier Science Publishers B.V. (North-Holland), Amsterdam (1993), 29-44.

7

Bernard Stépien and Luigi Logrippo. Status-Oriented Telephone Service Specification: An Exercise in Style. Proceedings of the 1st AMAST Workshop on Real-Time Program Development, Iowa City, 1993.

8

Bernard Stépien and Luigi Logrippo. Feature Interaction Detection Using Backward Reasoning with , TR-94-03, Department of Computer Science, University of Ottawa, 1993.