1 expert in "verification of discrete event systems" found: