Integrating ISA and Part-of Domain Knowledge into Process Model Discovery