@ARTICLE{LeungwattanakitEtAl14,
author={Leungwattanakit, W. and Artho, C. and Hagiya, M. and Tanabe, Y.
	 and Yamamoto, M. and Takahashi, K.},
journal={IEEE Trans. on Software Engineering},
title={Modular Software Model Checking for Distributed Systems},
year={2014},
month={May},
volume={40},
number={5},
pages={483--501},
}