Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitorsby Peter Lammich and Markus Müller-Olm14 Dec