Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation. - Susanne Kandl; Sandeep Chandrashekar (Computing, 2015)