Have you considered incorporating formal modelling?
Like:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
Like:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
Thanks for the links, going to have a read and see if I can apply any to my work.