Herrera, Fernando Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off - InTechOpen 2012 Open Access Diseases & disorders Creative Commons English ISBN: 37476 Standard No.: 10.5772/37476 doi Subjects--Topical Terms: Immunology Subjects--Index Terms: Medicine