Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens. Proving feature non-interaction with Alternating-Time Temporal Logic. In Stephen Gilmore, Mark Ryan 0001, editors, Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000. pages 85-103, Springer, 2000. [doi]
Abstract is missing.