Model-checking the Preservation of Temporal Properties upon Feature Integration

[GuelevRyanSchobbens2004Integration] Dimitar P. Guelev, Mark Ryan and Pierre-Yves Schobbens. Model-checking the Preservation of Temporal Properties upon Feature Integration. In Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (CONCUR Workshop AVoCS 2004), pages 311-324. Electronic Notes in Theoretical Computer Science, Volume 128 Issue 6. 2004.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/04-warps.pdf