Backup source of First Example (No. 1)

#author("2017-03-17T12:09:01+09:00","default:Uedalab","Uedalab")
[[Examples]]

The following program (also called a '''model''') describes a sawtooth function.

 INIT     <=> f=0.
 INCREASE <=> [](f'=3).
 DROP     <=> [](f- = 10 => f = 0).
 
 INIT, INCREASE << DROP.