Magnus Persson, Martin Törngren. Using improved resource interfaces to formally describe adaptability in embedded systems. SIGBED Review, 6(3):8, 2009. [doi]
@article{PerssonT09, title = {Using improved resource interfaces to formally describe adaptability in embedded systems}, author = {Magnus Persson and Martin Törngren}, year = {2009}, doi = {10.1145/1851340.1851350}, url = {http://doi.acm.org/10.1145/1851340.1851350}, researchr = {https://researchr.org/publication/PerssonT09}, cites = {0}, citedby = {0}, journal = {SIGBED Review}, volume = {6}, number = {3}, pages = {8}, }