Build your own model checker in one month - Dong, J.S. (2014)
10.1109/ICSE.2013.6606751