Add to formal methods about Yacraf

[dbosk]

This is about Mathias work. This shows that formal models don't necessarily have to involve protocols and crypto or software.

[dbosk]

https://link.springer.com/article/10.1007/s10207-023-00713-y