可以参考: http://www.cs.uleth.ca/~holzmann/C/system/ http://blog.csdn.net/astrotycoon/article/details/8267483