Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling