and practical aspects of timed systems, and to bring together researchers from di?erent