面向对象的时序逻辑语言

Object-Oriented Temporal Logic Language