//! Resource and time conflict detection.