Towards a sound modular model checking of collaboration-based software designs | IEEE Conference Publication | IEEE Xplore