I am new to promela & am looking if someone can help me with TFTP i need to implement properties ,timeout ,window size options using Ispin software

TFTP simulation using options that is timeout, window size am trying to implement the TFTP when there is a timeout and block size when we sent a packet from client to server