@book{28273,
	author = {Herrera, Fernando||Ugarte, Inigo},
	title = {Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off},
	url = {https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf||https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf}
}