Reactive Systems from Live Sequence Chart Specifications -- Computing Weakest Strategies