Formal Techniques for Computer Systems and Business Processes