Modelling causality via action dependencies in branching time semantics. - Goltz, Ursula (Information processing letters.)