Model-Based Diagnosis under Real-World Constraints