Cite
APA Citation
Zhu, D., Tan, H., & Yao, S. (2018). petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems. Computers & electrical engineering, 71, 162–172. http://access.bl.uk/ark:/81055/vdc_100072160881.0x000051