The xSAP Safety Analysis Platform