J. M. Spivy, The Z Notation: A Reference Manual, Chapter 4.2 and 4.3, Prentice-Hall International, 1989, pp. 95-109. |
J. M. Duran & J. Visser, "International Standards for Intelligent Networks," IEEE Communications Magazine, vol. 30, No. 2, Feb. 1992, pp. 34-42. |
W. J. Barr et al., "The TINA Initiative," IEEE Communications Magazine, vol. 31, No. 3, Mar. 1993, pp. 70-76. |
J. J. Garrahan et al, "Intelligent Network Overview," IEEE Communications Magazine, vol. 31, No. 3, Mar. 1993, pp. 30-36. |
G. J. Holzmann, "Design and validation of protocols: a tutorial," Computer Networks and ISDN Systems 25, North Holland, 1993, pp. 981-1017. |
N. D. Griffeth & H. Velthuijsen, "The Negotiating Agents Approach to Runtime Feature Interaction Resolution," Feature Interactions in Telecommunications Systems, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 217-235. |
K. H. Braithwaite & J. M. Atlee, "Towards Automated Detection of Feature Interactions," Feature Interactions in Telecommunications System, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 36-59. |
T. Ohta & Y. Harada, Classification, Detection and Resolution of Service Interactions in Telecommunications Services, Feature Interactions in Telecommunications Systems, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 60-61. |
F. J. Lin & Y. Lin, "A Building Block Approach to Detecting and Resolving Feature Interactions," Feature Interactions in Telecommunications System, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 86-119. |
P. Combes & S. Pickin, "Formalisation of a User View of Network and Services for Feature Interaction Detection," Feature Interactions in Telecommunications System, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 120-121. |
J. Blom et al., "Using Temporal Logic for Modular Specification of Telephone Services," Feature Interactions in Telecommunications System, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 197-216. |
K. E. Cheng, "Towards a Formal Model for Incremental Service Specification and Interaction Management Support," Feature Interactions in Telecommunications System, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 152-166. |
A.Gammelgaard & J. E. Kristensen, "Interaction detection, a logical approach," Feature Interactions in Telecommunications Systems, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 178-196. |
M. Faci & Logrippo, "Specifying Features and Analysing Their Interactions in a LOTOS Environment," Feature Interactions in Telecommunications Systems, W. Bouma & H. Velthuijsen (Eds.), IOS Press, Amsterdam, 1994, pp. 136-151. |
I. Zibman et al., "Minimizing Feature Interactions: An Architecture and Processing Model Approach," Feature Interactions in Telecommunications System III, K. E. Cheng & T. Ohta (Eds.), IOS Press, Amstedam, 1995, pp. 65-83. |
J. Kamoun, "Chapter 2: Intelligent Network Concepts," Formal Specification and Feature Interaction Detection in the Intelligent Network Overview, Dept. of Computer Science, Univ. of Ottawa, Ottawa, Ontario, 1996, pp. 21-46. |
K. P. Pomakis & J. M. Atlee, "Reachability Analysis of Feature Interactions: A Progress Report," Proc. of the Int'l. Symposium on Software Testing and Analysis, Jan. 1996, pp. 216-223. |
J. G. Thistle et al., "Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach," Feature Interactions in Telecommunications and Distributed Systems IV, P. Dini et al. (Eds.), IOS Press, Amsterdam, 1997, pp. 93-107. |
M. Weiss et al., "Experiences with a Service Environment for Distributed Multimedia Applications," Feature Interactions in Telecommunications and Distributed Systems IV, P. Dini et al. (Eds.), IOS Press, Amsterdam, 1997, pp. 242-253. |
P. Zave & M. Jackson, "Requirements for Telecommunications Services; An Attack on Complexity," Proc. of 3.sup.rd IEEE Int'l. Symposium on Requirements Engineering, IEE Computer Society Press, 1997, pp. 106-117. |