Perempatan jalan memiliki potensi untuk terjadinya tabrakan antara kendaraaan yang sedang melintas. Agar kendaraan yang melintas aman dari tabrakan, diperlukan Sistem Pengendali Lampu Lalulintas (SPL) yang berfungsi untuk mengatur arus lalulintas berdasarkan lampu tersebut . Pada umumnya, SPL tidak mengakomodasikan kebutuhan kendaraaan-kendaraan berprioritas seperti Ambulance, Pemadam Kebakaran, Konvoi, dan sebagainya. Pada tesis ini dirancang secara formal sebuah SPL yang dapat mengkomodasikan kebutuhan kendaraan berprioritas tersebut yang disebut Sistem pengendali Integritas (SPI). Untuk merancang secara formal sebuah sistem pengendali, perlu dipilih sebuah bahasa formal untuk menyatakan spesifikasi dari sistem yang akan dirancang. Dalam tesis ini dipililh bahasa formal yang paling sederhana, yaitu logika proposisi. Untuk mengakomodasikan kebutuhan kendaraan berprioritas tersebut secara maksimal, selain operator logika proposisi yang telah dikenal, perlu didefinisikan pula dua buah operator biner x dan . pada sebuah himpunan dengan empat elemen 1,o & dan h. Dalam merancang SPI ini, dimulai dengan merancang secara formal SPL, kemudian ditentukan persyaratan-persyaratan yang harus dipenuhi, dan dilanjutkan dengan penentuan aksi-aksi yang dapat diambil untuk melayani masing-masing permintaan dari kendaraan berprioritas. Pada akhirnya diperlihatkan pula perilaku SPI dalam menangani berbagai keadaan kedatangan permintaan kendaraan beprioriotas dari waktu ke waktu