Modeling of Safety-Critical Systems Using Petri Nets. - B. Esther Sunanda; P. Seetharamaiah (ACM SIGSOFT Softw. Eng. Notes, 2015)