Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off - Herrera, Fernando (InTechOpen, 2012)
Diseases & disorders