Budiarto, R. and Dikaimin 2017. Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra. Jurnal Ilmiah Komputasi. 16, 3 (Dec. 2017), 175–186.