The extended MSC document head

mscdocument ACSystem

inst AccessPoint variables cardid:integer;

inst Authorizer;

inst Console ;

msg card, pin:(integer);

msg code: (integer,integer) ;

timer door: (time);

language C

data #include definitions.h;

AC_UserAccess

AC_PinChange

AC_NewUser

AC_EstablishAccess

AC_OpenDoor

AC_GivePIN

contained instances

dynamic variables

message declarations

timer declarations

language name specification

data language definitions