Wilfred Nilsen, Real-Time Logic