Verification of Reactive Systems | lit.salon