Analysis of the Model Checkers’ Input Languages for Modeling Traffic Light Systems

Pathiah Abdul Samat, Abdullah Mohd Zin and Zarina Shukur

Journal of Computer Science 7 ( 2 ): 225 - 233 , 2011