5 Preface Any developer of discrete event systems knows that the most important quality of the final system is that it be functionally correct by exhibiting certain functional,…
