Formally Explaining Neural Networks within Reactive Systems