Algorithm 1 RealTimePCRproc.

1.n = no. of lines in the protocol 2.i = 1 3. do while i <= n 4.    fetch A(i) 5.    if A(i).L == SHOT 6.       wait shot ()   % read photodiode 7.    else if A(i).L == GOTO 8.       if A(i).D != 0 9.           i = A(i).T  % label where jump to 10.         A(i).T--   % no. of jumps 11.       else 12.         i++ 13.       endif 14.    else 15.       Send target temperature Tc to PCR controller and wait until |Tc-A(i).T| < ε 16.       wait SecTimer(A(i).D) == 0 17.    endif