Automated Requirement Formalization Using Product Design Specifications. - Robin Gröpler; Libin Kutty; Viju Sudhi; Daran Smalley (REFSQ Workshops, 2022)