Title: Formal Techniques for Computer Systems and Business Processes