Yamine Aït Ameur, Abdelkrim Chebieb. Checking System Substitutability: An Application to Interactive Systems. In Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche, editors, Modeling Approaches and Algorithms for Advanced Computer Applications. Volume 488 of Studies in Computational Intelligence, pages 3, Springer, 2013. [doi]
Abstract is missing.