Specification and analysis of timed and functional TRMCS behaviours

In this paper different specifications of the Remote Medical Care System are given by concentrating on both functional behaviour and timed behaviour. The analysis of these specifications puts forward critical system states that should be dealt with care during the system implementation. Full details on the design decisions are given.