Requirements-Driven Root Cause Analysis Using Markov Logic Networks