First name
Daniel
Middle name
G.
Last name
Cole
Lois, R. S., & Cole, D. G. (2022). Designing Secure and Resilient Cyber-Physical Systems Using Formal Models. In 2022 Resilience Week (RWS) (p. 1—6).