Talk:International Conference on Formal Techniques for Networked and Distributed Systems