refresh:

branching time temporal logic. oh yeah, moar...
2010/03/19 17:33:24, 0