@article{journals/sigsoft/ThangK06,
	title = {Specification and verification of inter-component constraints in CTL.},
	author = {Nguyen Truong Thang and Takuya Katayama},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {2},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#ThangK06},
	volume = {31},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/26420fe5d95b04e2fad3af3de5eff98b8/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1118537.1123067}, date = {2008-05-07},
	keywords = {dblp }
}