An assume-guarantee model checker for component-based systems. - Duong Hoang-Minh; Trinh Le-Khanh; Pham Ngoc Hung (RIVF, 2013)