Samik Basu, Partha S. Roop, Roopak Sinha: Local Module Checking for CTL Specifications. FESCA@ETAPS 2006: 125-141