Like:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
[1] https://elliotswart.github.io/pragmaticformalmodeling/
[2] https://quint.sh/
Thanks for the links, going to have a read and see if I can apply any to my work.