Claim: DEVS (Discrete Event System Specification) formalism for modeling and analyzing general systems was invented by Bernard P. Zeigler published in his first book released in 1976.
Verdict: SUPPORT