@inproceedings{Zhang_KSAZK_12, address = {Zurich, Switzerland}, author = {Zhang, He (Jason) and Klein, Gerwin and Staples, Mark and Andronick, June and Zhu, Liming and Kolanski, Rafal}, booktitle = {International Conference on Software and Systems Process}, editor = {{Ross Jeffery, David Raffo, Ove Armbrust, Li Guo Huang}}, isbn = {978-1-4673-2351-2}, keywords = {software process modeling, process simulation, formal verification, system dynamics, microkernel}, month = jun, pages = {3--12}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/5605.pdf}, publisher = {IEEE}, title = {Simulation Modeling of A Large Scale Formal Verification Process}, year = {2012} }