@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}
  }