Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore. model checking is a formal verification method used to verify system properties using model checkers. https://allfixelectricales.shop/product-category/brake-lever-assembly/