Return to Article Details A Synthesis Method for Designing Shared-Resource Systems Download Download PDF