A Generic Temporal Consistency Model for Distributed Control Systems - Pedro Martins (2004)