Analysis of conditional resource sharing using a guard-based control representation.