Okun, V.
, Black, P.
and Yesha, Y.
(2003),
Testing with Model Checker: Insuring Fault Visibility, WSEAS Transactions on Systems, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=917181
(Accessed August 13, 2024)