automatic verification of finite state concurrent system using temporal logic specifications : a em clarke , ea emerson , ap sistla 1983.0
proceedings of the 10th acm sigact-sigplan symposium on & hellip ; ,