ระบบเชิงเวลา

ออโตมาตาเพื่อการทวนสอบระบบเชิงเวลา