Adrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132