Culver, M., N. Shoemaker, T. Brannon, and D. Hatcher. “Enabling I/O Automata Using Omniscient Archetypes”. Journal of Computer Science and Software Engineering, Vol. 10, no. 3, Oct. 2018, https://jcsseng.com/index.php/jcsseng/article/view/206.