关于线性时序逻辑的好资料,适合对于状态空间描述的学习者用。