A. van der Linde, J. Leit\ ao, and N. Preguica. Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data, page 12:1--12:4. New York, NY, USA, ACM, (2016)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)