R. Budiarto and Dikaimin, “Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra”, jikstik, vol. 16, no. 3, pp. 175–186, Dec. 2017.