Amy, John Jr., and Norbert Doerry, "Modeling the Specification", ASNE Virtual Intelligent Ships Symposium 2021, April 28-29, 2021
Modeling the Specification