Computation of Minimal Sensor Sets for Conditional Testability Requirements