Constraints-based URDAD Model Verification. - Fritz Solms; Priscilla Naa Dedei Hammond; Linda Marshall (ENASE, 2016)

Architecture Requirements for Open Inference Networks. - Priscilla Naa Dedei Hammond; Fritz Solms; Bruce W. Watson (ENASE, 2022)