Budiarto, R.; Dikaimin. Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra. jikstik 2017, 16, 175-186.