https://lero.ie/bibliography/the-assl-approach-to-formal-specification-of-self-managing-systems/
The ASSL Approach to Formal Specification of Self-managing Systems - Lero
formal specificationself managingasslapproach
https://research.tees.ac.uk/en/studentTheses/the-formal-specification-of-the-tees-confidentiality-model/
The formal specification of the Tees confidentiality model - Teesside University's Research Portal
formal specification
https://cris.fbk.eu/handle/11582/5274
Formal Specification and Analysis of an e-Voting System
formal specificationanalysisvotingsystem
https://portal.fis.tum.de/en/publications/formal-specification-level-towards-verification-driven-design-bas-2/
Formal specification level: Towards verification-driven design based on natural language processing...
formal specificationdriven design
https://research.ibm.com/publications/formal-specification-of-software-systems-using-two-level-grammar
Formal specification of software systems using Two-Level Grammar for COMPSAC 1991 - IBM Research
Formal specification of software systems using Two-Level Grammar for COMPSAC 1991 by Barrett R. Bryant et al.