TY  - BOOK
AU  - Herrera, Fernando||Ugarte, Inigo
TI  - Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
KW  - Medicine
UR  - https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf||https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf
ER  -