This is a small factory example with timing that should pass all the
bddsd properties. It was based on the untimed  example  from
W.M. Wonham's Course notes. 