Formal Functionally Deterministic Scheduling. - Frédéric Boniol; Claire Pagetti; François Revest (ISoLA, 2007)