MixedScheduling: obj LIB.BasicSystem.BasicSystem P1: obj BasicProcess("P1") P2: obj BasicProcess("P2") F: obj BasicProcess("F")