Using TIMS for the prototyping of SMFs