仕様 1
小型ポータブルFMラジオには3つの操作部があります．オン/オフ・スイッチで電源のオン/オフを切り替えます．チューニングはスキャン・ボタンとリセット・ボタンの2つで行い，それぞれの動作は次のとおりです．ラジオの電源を入れるかリセット・ボタンを押すと，FMバンドの最高周波数（108MHz）にチューニングされます．スキャン・ボタンを押すと，バンドの最低周波数（88MHz）に向かってスキャンします．放送局にロック・オンするか，バンドの最低周波数（エンド）に達するとスキャンが停止します．ラジオが現在放送局にチューニングされている状態でスキャン・ボタンを押すと，その放送局の周波数から最低周波数に向かってスキャンを開始します．同じように，リセットボタンを押すと，受信機は最高周波数にチューニングされます．
イベント{on, off, scan, reset, lock, end}を用いて，FMラジオをRADIOとしてNuSMVでモデル化してください．
