Some blog posts on the topic:
Is SRE actually …
– a big Word Problem?
– all about Abstraction?
– tidying up the Domain?
– handling of Complexity?
Formal Foundations
– Quality Characteristics
– Formal Systems
– Completeness
– Ambiguity
– Atomicity
Epistemic View
– From Technical Artefacts
– to Computational Artefacts
– On the Role of Intention
– and the Context.
Modelling in Theory
– Cases vs Models
– Relational Structures
– Finite Structures
– Preterition & Abundance
Modelling in Practice
– The Value of Modelling
– Analysis vs. Design Models
– The Use Case trade-off
– The Adjacent Rooms Case
modelpractice 