         This file arainfo.txt contains the information about
           the authors of the software package ARA Tools/Demo.


                        ARA Tools/Demo
                      2.01 (September 1994)
                 A set of tools for analysing
                      the behaviour of
                     concurrent systems


Copyright

Copyright (c) 1990-94 by VTT Electronics,
P.O.Box 1100, FIN-90571, Oulu, Finland.
All Rights Reserved.


Who has done the ARA Tools?
---------------------------

ARA Tools are developed by VTT Electronics in ARA and AATOS research groups.
The research of ARA group ended in spring 1992 and the research of AATOS group
will end in spring 1995. Both groups are funded mainly by TEKES (Technology
Development Centre of Finland) and VTT (Technical Research Centre of Finland).


Background information about VTT Electronics and AATOS groups
-------------------------------------------------------------
VTT is Finnish goverment funded R&D organisation. AATOS research group belongs
to VTT Electronics, Embedded Systems. It provides embedded systems services
to leading engineering companies in a wide variety of fields.

AATOS group is successor of two research groups that concentrated on analysing
concurrent systems using reachability analysis. The research started in 1984
and work of current AATOS group will end in spring 1995.


How to concact authors of ARA Tools
-----------------------------------

The fastest and easiest way to contact the authors of ARA Tools is to send
email via internet. Contact info:

email (internet)        aratools@ele.vtt.fi
mail                    Jukka Kemppainen, VTT Electronics, P.O.Box
                        1100, FIN-90571, Oulu, Finland
telephone               +358 81 551 2111/Mr. Jukka Kemppainen
telefax                 +358 81 551 2320
