Combining Temporal Specification Techniques. - Morten Ulrik Sørensen; Odd Erik Hansen; Hans Henrik Løvengreen (ICTL, 1994)

A Universal Reactive Machine. - Henrik Reif Andersen; Simon Mørk; Morten Ulrik Sørensen (CONCUR, 1997)