Simulation with Interrupts Multitasking call. ret High (AtST S O s? call re LOW(AOD >>>00 IRQ iret Interrupt handler switch switch Another task How to do compositional verification?Simulation with Interrupts & Multitasking call ret Low (A[O]): call, ret High (A[S]): e e Interrupt handler: Another task: IRQ iret switch switch  ?  ? How to do compositional verification? S O