Roman Barták: Modelling Resource Transitions in Constraint-Based Scheduling. SOFSEM 2002: 186-194