Stephen Paynter, Neil Henderson, James M. Armstrong. Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Asp. Comput., 16(4):332-351, 2004. [doi]
@article{PaynterHA04, title = {Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism}, author = {Stephen Paynter and Neil Henderson and James M. Armstrong}, year = {2004}, doi = {10.1007/s00165-004-0042-9}, url = {http://dx.doi.org/10.1007/s00165-004-0042-9}, researchr = {https://researchr.org/publication/PaynterHA04}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {16}, number = {4}, pages = {332-351}, }