Black, P.
, Ammann, P.
and Ding, W.
(2002),
Model Checkers in Software Testing, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.6777, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=51075
(Accessed October 31, 2024)