Time-Critical Fluid Power Reasoning