 * @see org.jcsp.plugNplay.FixedDelayInt
 * @see org.jcsp.plugNplay.RegulateInt
