C. Chau, W. Jr., M. Roncken, and I. Sutherland. Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)
P. Joshi, P. Beerel, M. Roncken, and I. Sutherland. Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 260-276. Springer, (2010)