Jika protokol Anda tidak memiliki spesifikasi Quint, apakah itu ada?