Access Control example
----------------------
This is a classical access control system.
An administrator adds or deletes new users.
Registered users are allowed to get in.


TEST:
----
To run all the test cases on the system, select
AccessControlTest.ttcn3 and click on the Execute
quick button.
When the Simulator starts, choose: 
Options / Timers / Fire timers automatically
Click on the Run quick button and watch...
