4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97) Conference