.DESLib.DEVSLib.Examples.ATM.PINVerifier.pinVerifier.Fta

Definition

function Fta = ta;