Reliable monitoring for runtime validation of choreographies Riegen, Michael von Ritter, Norbert 2009 - Forschungsinformationssystem der UHH