Specification and verification of inter-component constraints in CTL.

Nguyen Truong Thang Takuya Katayama Specification and verification of inter-component constraints in CTL. 2006 31 ACM SIGSOFT Software Engineering Notes 2 http://doi.acm.org/10.1145/1118537.1123067 db/journals/sigsoft/sigsoft31.html#ThangK06