Wilfred Nilsen, Real Time Logic