
%update access times!!!!!!
@article{openapsreliability,
  title={Comparing the technical reliability and insulin dosing of a" do-it-yourself artificial pancreas" with a commercial hybrid closed-loop system in a" shadow-mode" scenario: An exploratory study.},
  author={K{\"u}nzler, Juri and Z{\"u}ger, Thomas and Stettler, Christoph and Laimer, Markus and Melmer, Andreas},
  journal={Diabetes, obesity \& metabolism},
  year={2023},
  publisher={Wiley}
}


@article{samadi,
  title={Simulation software for assessment of nonlinear and adaptive multivariable control algorithms: glucose--insulin dynamics in type 1 diabetes},
  author={Rashid, Mudassir and Samadi, Sediqeh and Sevil, Mert and Hajizadeh, Iman and Kolodziej, Paul and Hobbs, Nicole and Maloney, Zacharie and Brandt, Rachel and Feng, Jianyuan and Park, Minsun and others},
  journal={Computers \& Chemical Engineering},
  volume={130},
  pages={106565},
  year={2019},
  publisher={Elsevier}
}
@article{uvapadova,
author = {Chiara Dalla Man and Francesco Micheletto and Dayu Lv and Marc Breton and Boris Kovatchev and Claudio Cobelli},
title ={The UVA/PADOVA Type 1 Diabetes Simulator: New Features},

journal = {Journal of Diabetes Science and Technology},
volume = {8},
number = {1},
pages = {26-34},
year = {2014},
doi = {10.1177/1932296813514502},
    note ={PMID: 24876534},
URL = { 
        https://doi.org/10.1177/1932296813514502
},
}


@InProceedings{baldovin1,
  author =	{Andrea Baldovin and Enrico Mezzetti and Tullio Vardanega},
  title =	{{a time-composable Operating System}},
  booktitle =	{12th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{69--80},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-41-5},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{23},
  editor =	{Tullio Vardanega},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3558},
  URN =		{urn:nbn:de:0030-drops-35589},
  doi =		{10.4230/OASIcs.WCET.2012.69},
  annote =	{Keywords: Real-time Operating System, Timing composability, ARINC}
}

@InProceedings{baldovin2,
  author =	{Andrea Baldovin and Enrico Mezzetti and Tullio Vardanega},
  title =	{{Towards a Time-Composable Operating System}},
  booktitle =	{Reliable Software Technologies -- Ada-Europe 2013},
  editor = {Keller, Hubert B. and Pl{\"o}dereder, Erhard and Dencker, Peter and Klenk, Herbert},
  year =	{2013},
  editor =	{Tullio Vardanega},
  publisher =	{Springer Berlin Heidelberg},
  address =	{Berlin, Heidelberg},
  pages={143--160}
}

@InProceedings{toki,
  author =	{Oliver Horst and Uwe Baumgarten},
  title =	{{toki: A Build- and Test-Platform for Prototyping
and Evaluating Operating System Concepts in
Real-Time Environments}},
  booktitle =	{40th IEEE Real-Time Systems Symposium (RTSS'2019)},
  pages =	{13-14},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  year =	{2019},
  URL =		{http://2019.rtss.org/wp-content/uploads/2020/01/RTSS@Work-2019-proceedings.pdf#page=20},
}

@mastersthesis{esfree,
  author       = {Robin Kase}, 
  title        = {Efficient Scheduling Library
for FreeRTOS},
  school       = {KTH Royal Institute Of Technology},
  year         = 2016,
}

@mastersthesis{esfree-hst,
  author       = {Tuan Tu, Tran}, 
  title        = {Qualitative comparison of various EDF
scheduler implementations for FreeRTOS
},
  school       = {Technical University of Munich},
  year         = 2019,
}

@online{freertos,
    title = "FreeRTOS",
    url  = "http://www.freertos.org",
    addendum = "(accessed: 24.02.2024)",
}

@online{freertos-posix,
    title = "FreeRTOS-Plus-POSIX",
    url  = "https://www.freertos.org/FreeRTOS-Plus/FreeRTOS_Plus_POSIX/index.html",
    addendum = "(accessed: 23.03.2024)",
}


@book{butazzo,
    title = {Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications},
    author = {Giorgio C. Buttazzo},
    year = {2011},
    publisher = {Springer},
    address   = {New York},
    pages = {1-10}
}
@book{kopetz,
    title = {Real-Time Systems: Design Principles for Distributed Embedded Applications},
    author = {Hermann Kopetz},
    year = {2011},
    publisher = {Springer},
    address   = {New York},
    pages = {1-15}
}
@book{muller,
    author = {Silvia M. Müller et al.},
    title = {The Complexity of Simple Computer Architectures},
    editor = {Silvia M. Müller and Wolfgang J. Paul},
    publisher = {Springer-Verlag Berlin Heidelberg},
    year = {1995}
}
@book{barry,
    title = {Mastering the FreeRTOS™
    Real Time Kernel - a Hands-On Tutorial GUide},
    author = {Richard Barry},
    year = {2016},
    publisher = { Real Time Engineers Ltd}
}
@techreport{sprunt,
    title={Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System},
    author={Brinkley Sprunt and Lui Sha and John Lehoczky},
    year={1989},
    number={CMU/SEI-89-TR-011 },
    institution={Software Engineering Institute, Carnegie Mellon University},
    address={Pittsburgh, PA}
}
@misc{goyette,
    author = {Rich Goyette},
    title = {An Analysis and Description of the Inner Workings
of the FreeRTOS Kernel},
    year = {2007}
}
@book{bates,
    title = {PIC Microcontrollers - An Introduction to Microelectronics (Third Edition)},
    author = {Martin Bates},
    year = {2011},
    publisher = {Elsevier Science \& Technology}
}
@manual{zynq,
    title = {Zynq UltraScale+ Device Technical Reference Manual},
    year = {2019},
    month = {8},
    day = {21},
    url = {https://www.xilinx.com/support/documentation/user_guides/ug1085-zynq-ultrascale-trm.pdf},
    addendum = "(accessed: 18.08.2020)"
}
@online{coresight,
    title = "ARM CoreSight and STM",
    url  = "http://www.arm.com",
    addendum = "(accessed: 30.09.2020)",
}
@INPROCEEDINGS{TACLeBench,
  author = {Heiko Falk and Sebastian Altmeyer and Peter Hellinckx and Bj{\"o}rn
	Lisper and Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl
	and Rasmus Bo S{\o}rensen and Peter W{\"a}gemann and Simon Wegener},
  title = {{TACLeBench}: A Benchmark Collection to Support Worst-Case Execution
	Time Research},
  booktitle = {16th International Workshop on Worst-Case Execution Time Analysis
	(WCET 2016)},
  year = {2016},
  editor = {Martin Schoeberl},
  volume = {55},
  series = {OpenAccess Series in Informatics (OASIcs)},
  pages = {2:1--2:10},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik}
}
@article{cobra,
    author =       "Yorick De Bock and Sebastian Altmeyer and Thomas  Huybrechts and Jan  Broeckhove Peter  Hellinckx",
    title =        "Task-Set Generator for Schedulability Analysis using the TACLeBench benchmark suite)",
    journal =      "ACM SIGBED Review",
    volume =       "15",
    year =         "2018",
    DOI =          "https://doi.org/10.1145/3199610.3199613"
}
@misc{embedded-survey,
    author = {Emory Ray},
    title = {SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS Trends and Challenges in Developing Software for Embedded Systems},
    url = {https://silo.tips/download/software-development-for-embedded-systems},
    year = {2016},
    addendum = "(accessed: 30.09.2020)"
}



















@article{scgms,
title = {SmartCGMS as a Testbed for a Blood-Glucose Level Prediction and/or Control Challenge with (an FDA-Accepted) Diabetic Patient Simulation},
journal = {Procedia Computer Science},
volume = {177},
pages = {354-362},
year = {2020},
note = {The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) / The 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2020) / Affiliated Workshops},
issn = {1877-0509},
doi = {https://doi.org/10.1016/j.procs.2020.10.048},
url = {https://www.sciencedirect.com/science/article/pii/S1877050920323164},
author = {Tomas Koutny and Martin Ubl},
}

@article{scgms-older,
title = {Parallel software architecture for the next generation of glucose monitoring},
journal = {Procedia Computer Science},
volume = {141},
pages = {279-286},
year = {2018},
issn = {1877-0509},
doi = {https://doi.org/10.1016/j.procs.2018.10.197},
url = {https://www.sciencedirect.com/science/article/pii/S1877050918318507},
author = {Tomas Koutny and Martin Ubl}
}

@book{hla,
  title={Creating computer simulation systems: an introduction to the high level architecture},
  author={Kuhl, Frederick and Weatherly, Richard and Dahmann, Judith},
  year={1999},
  publisher={Prentice Hall PTR}
}

@online{diabetes_zcu,
    title = "diabetes.zcu.cz",
    url  = "https://diabetes.zcu.cz/",
    addendum = "(accessed: 2022-02-23)",
}

@inproceedings{embedded_fs,
  title={LOFFS: A low-overhead file system for large flash memory on embedded devices},
  author={Zhang, Runyu and Liu, Duo and Chen, Xianzhang and She, Xiongxiong and Yang, Chaoshu and Tan, Yujuan and Shen, Zhaoyan and Shao, Zili},
  booktitle={2020 57th ACM/IEEE Design Automation Conference (DAC)},
  pages={1--6},
  year={2020},
  organization={IEEE}
}

@inproceedings{dynamic_embedded_linking,
  title={A component-based dynamic link support for safety-critical embedded systems},
  author={Kajtazovic, Nermin and Preschern, Christopher and Kreiner, Christian},
  booktitle={2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)},
  pages={92--99},
  year={2013},
  organization={IEEE}
}

@INPROCEEDINGS{hard_rtos,
  author={Nanda, Manju and Dhage, Shamsundar and Jayanthi, J.},
  booktitle={2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom)}, 
  title={An approach to formally qualify commercial RTOS for safety application}, 
  year={2015},
  volume={},
  number={},
  pages={816-821},
  keywords={Mathematical model;Safety;Computational modeling;Guidelines;MATLAB;Qualifications;Real-time systems;Formal Methods;Qualification;RTOS;RTOS Model;Safety Critical},
  doi={}
}


@online{safertos,
    title = "SAFERTOS",
    url  = "https://www.highintegritysystems.com/safertos/",
    addendum = "(accessed: 2022-02-24)",
}

@online{openrtos,
    title = "OpenRTOS",
    url  = "https://www.highintegritysystems.com/openrtos/",
    addendum = "(accessed: 2022-02-24)",
}


@manual{espidf,
  author    = {Espressif Systems},
  title     = {{ESP-IDF}: Espressif IoT Development Framework},
  organization = {Espressif Systems},
  url       = {https://github.com/espressif/esp-idf}
}

@article{otta,
title = {Towards a health software supporting platform for wearable devices},
journal = {Procedia Computer Science},
volume = {210},
pages = {112-115},
year = {2022},
issn = {1877-0509},
doi = {https://doi.org/10.1016/j.procs.2022.10.126},
url = {https://www.sciencedirect.com/science/article/pii/S1877050922015836},
author = {Maxmilian Otta}
}

@INPROCEEDINGS{esp32-analysis,
  author={Maier, Alexander and Sharp, Andrew and Vagapov, Yuriy},
  booktitle={2017 Internet Technologies and Applications (ITA)}, 
  title={Comparative analysis and practical implementation of the ESP32 microcontroller module for the internet of things}, 
  year={2017},
  volume={},
  number={},
  pages={143-148},
  keywords={Microcontrollers;Wireless fidelity;Clocks;C++ languages;Internet of Things;Bluetooth;Oscilloscopes;ESP32;Internet of Things;Wi-Fi;oscilloscope},
  doi={10.1109/ITECHA.2017.8101926}
}

@online{esp32_docs,
  author = {{Espressif Systems}},
  title = {ESP32 Overviewl},
  year = {2024},
  url = {https://www.espressif.com/en/products/socs/esp32},
  note = {Accessed: 2022-01-24}
}

@online{rpi,
  title = {RaspberryPi},
  year = {2024},
  url = {https://www.raspberrypi.com},
  note = {Accessed: 2022-01-24}
}

@online{cmake,
  title = {CMake},
  year = {2024},
  url = {https://cmake.org/},
  note = {Accessed: 2022-01-24}
}


@inproceedings{wasm,
  title={Bringing the web up to speed with WebAssembly},
  author={Haas, Andreas and Rossberg, Andreas and Schuff, Derek L and Titzer, Ben L and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
  booktitle={Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={185--200},
  year={2017}
}


@report{wasmcore,
  title        = {WebAssembly Core Specification},
  version      = {2.0},
  editor       = {Rossberg, Andreas},
  date         = {2022-04-19},
  institution  = {W3C},
  url          = {https://www.w3.org/TR/wasm-core-2/},
  langid       = {english},
}

@online{wasm_online,
  title = {WebAssembly},
  year = {2024},
  url = {https://webassembly.org/},
  note = {Accessed: 2022-02-24}
}

@online{wasi,
    title = "Standardizing WASI: A system interface to run WebAssembly outside the web",
    url  = "https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/",
    addendum = "(Accessed: 2024-02-22)",
}


@online{wamr,
  title={WebAssembly micro runtime},
  author={{Bytecode Alliance}},
  URL = "https://github.com/bytecodealliance/wasm-micro-runtime",
  addendum = "(Accessed: 2024-02-22)",
}


@online{wamr_modes,
  title={Introduction to WAMR running modes},
  author={{Bytecode Alliance}},
  URL = "https://bytecodealliance.github.io/wamr.dev/blog/introduction-to-wamr-running-modes/",
  year={2023},
  addendum = "(Accessed: 2024-04-24)",
}

@online{dmmsr,
  title={Diabetes Mellitus Metabolic Simulator for Research (DMMS.R)},
  author={The Epsilon Group},
  URL = "https://tegvirginia.com/dmms-r/",
  addendum = "(Accessed: 2024-04-24)",
}

@online{openaps,
  title={OpenAPS},
  URL = "https://openaps.org/",
  addendum = "(Accessed: 2024-04-24)",
}


@online{aaps,
  title={AndroidAPS},
  URL = "https://androidaps.readthedocs.io/",
  addendum = "(Accessed: 2024-04-24)",
}

@online{loop,
  title={Loop},
  URL = "https://loopkit.github.io/loopdocs/",
  addendum = "(Accessed: 2024-04-24)",
}

@online{minimed,
  title={Medtronic MiniMed 670G},
  URL = "https://www.medtronic.com/ca-en/diabetes/home/products/insulin-pumps/minimed-670g.html",
  addendum = "(Accessed: 2024-04-24)",
}

@article{petruzelkova,
author = {Petruzelkova, Lenka and Soupal, Jan and Plasova, Veronika and Jiranova, Pavlina and Neuman, Vit and Plachy, Lukas and Pruhova, Stepanka and Sumnik, Zdenek and Obermannova, Barbora},
title = {Excellent Glycemic Control Maintained by Open-Source Hybrid Closed-Loop AndroidAPS During and After Sustained Physical Activity},
journal = {Diabetes Technology \& Therapeutics},
volume = {20},
number = {11},
pages = {744-750},
year = {2018},
}

@article{openapsgood,
  title={Improvements in A1C and time-in-range in DIY closed-loop (OpenAPS) users},
  author={Lewis, Dana M and Swain, Richard S and Donner, Thomas W},
  journal={Diabetes},
  volume={67},
  number={Supplement\_1},
  year={2018},
  publisher={Am Diabetes Assoc}
}

@article{medtronicmini,
    author = {Knebel, Tory and Neumiller, Joshua J.},
    title = "{Medtronic MiniMed 670G Hybrid Closed-Loop System}",
    journal = {Clinical Diabetes},
    volume = {37},
    number = {1},
    pages = {94-95},
    year = {2019},
    month = {01},
    issn = {0891-8929},
    doi = {10.2337/cd18-0067},
    url = {https://doi.org/10.2337/cd18-0067},
    eprint = {https://diabetesjournals.org/clinical/article-pdf/37/1/94/501043/94.pdf},
}

@article{medtronic-horowitz,
title = {An analysis of Medtronic MiniMed 670G insulin pump use in clinical practice and the impact on glycemic control, quality of life, and compliance},
journal = {Diabetes Research and Clinical Practice},
volume = {177},
pages = {108876},
year = {2021},
issn = {0168-8227},
doi = {https://doi.org/10.1016/j.diabres.2021.108876},
url = {https://www.sciencedirect.com/science/article/pii/S0168822721002357},
author = {Maxwell E. Horowitz and William A. Kaye and Gary M. Pepper and Kathryn E. Reynolds and Shital R. Patel and Kort C. Knudson and Geetanjali K. Kale and Maria E. Gutierrez and Leslie A. Cotto and Barry S. Horowitz},
}
@article{medtronic-saunders,
author = {Aria Saunders, Laurel H. Messer and Gregory P. Forlenza},
title = {MiniMed 670G hybrid closed loop artificial pancreas system for the treatment of type 1 diabetes mellitus: overview of its safety and efficacy},
journal = {Expert Review of Medical Devices},
volume = {16},
number = {10},
pages = {845--853},
year = {2019},
}


@inproceedings{liquidiot,
  title={WebAssembly modules as lightweight containers for liquid IoT applications},
  author={M{\"a}kitalo, Niko and Mikkonen, Tommi and Pautasso, Cesare and Bankowski, Victor and Daubaris, Paulius and Mikkola, Risto and Beletski, Oleg},
  booktitle={International Conference on Web Engineering},
  pages={328--336},
  year={2021},
  organization={Springer}
}

@inproceedings{iotuptospeedwithwasm,
  title={Wasmachine: Bring iot up to speed with a webassembly os},
  author={Wen, Elliott and Weber, Gerald},
  booktitle={2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)},
  pages={1--4},
  year={2020},
  organization={IEEE}
}

@article{wasmiotoverview,
  title={An Overview of WebAssembly for IoT: Background, Tools, State-of-the-Art, Challenges, and Future Directions},
  author={Ray, Partha Pratim},
  journal={Future Internet},
  volume={15},
  number={8},
  pages={275},
  year={2023},
  publisher={MDPI}
}

@online{opswi,
  title={Dynamic Software Image Update on ESP32},
  author={Petr Kocian},
  URL = "https://github.com/PetrKocian/ESP32-WASM-Dynamic-Update/",
  addendum = "(Accessed: 2024-04-24)",
}

@book{internalmedicine,
  title={Harrison's principles of internal medicine, 19e},
  author={Kasper, Dennis and Fauci, Anthony and Hauser, Stephen and Longo, Dan and Jameson, J and Loscalzo, Joseph},
  volume={1},
  number={2},
  year={2015},
  publisher={Mcgraw-hill New York, NY, USA:}
}


@Article{scgms_dmmsr,
AUTHOR = {Ubl, Martin and Koutny, Tomas and Della Cioppa, Antonio and De Falco, Ivanoe and Tarantino, Ernesto and Scafuri, Umberto},
TITLE = {Distributed Assessment of Virtual Insulin-Pump Settings Using SmartCGMS and DMMS.R for Diabetes Treatment},
JOURNAL = {Sensors},
VOLUME = {22},
YEAR = {2022},
NUMBER = {23},
ARTICLE-NUMBER = {9445},
URL = {https://www.mdpi.com/1424-8220/22/23/9445},
PubMedID = {36502149},
ISSN = {1424-8220},
}
@article{bergman,
  title={Toward physiological understanding of glucose tolerance: minimal-model approach},
  author={Bergman, Richard N},
  journal={Diabetes},
  volume={38},
  number={12},
  pages={1512--1527},
  year={1989},
  publisher={Am Diabetes Assoc}
}

@inproceedings{emcc_old,
author = {Zakai, Alon},
title = {Emscripten: an LLVM-to-JavaScript compiler},
year = {2011},
isbn = {9781450309424},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2048147.2048224},
doi = {10.1145/2048147.2048224},
}

@online{emcc_online,
    title = "Emscripten",
    url  = "https://emscripten.org/",
    addendum = "(Accessed: 2024-02-22)",
}

@online{wasi-sdk,
    title = "WASI-SDK",
    url  = "https://github.com/WebAssembly/wasi-sdk",
    addendum = "(Accessed: 2024-02-22)",
}

@online{wasm3,
    title = "Wasm3",
    url  = "https://github.com/wasm3/wasm3",
    addendum = "(Accessed: 2024-02-22)",
}

@online{wasmtime,
    title = "Wasmtime",
    url  = "https://github.com/bytecodealliance/wasmtime",
    addendum = "(Accessed: 2024-03-22)",
}

@online{wazero,
    title = "wazero",
    url  = "https://github.com/tetratelabs/wazero",
    addendum = "(Accessed: 2024-03-22)",
}

@online{wasmedge,
    title = "WasmEdge",
    url  = "https://github.com/WasmEdge/WasmEdge",
    addendum = "(Accessed: 2024-03-22)",
}

@online{wasmer,
    title = "Wasmer",
    url  = "https://github.com/wasmerio/wasmer",
    addendum = "(Accessed: 2024-03-22)",
}

@online{arm,
    title = "Arm Documentation",
    url  = "https://developer.arm.com/documentation",
    note = "section: ISO C library implementation definition",
    addendum = "(Accessed: 2024-04-04)",
}


@book{portable_sw,
  title={Write portable code: an introduction to developing software for multiple platforms},
  author={Hook, Brian},
  year={2005},
  publisher={No Starch Press}
}

@online{openapsgithub,
  title={OpenAPS determine-basal.js},
    url  = "https://github.com/openaps/oref0/blob/master/lib/determine-basal/determine-basal.js",
    addendum = "(Accessed: 2024-05-15)",
}
@article{cybersecuritycgm,
  title={Cybersecurity for connected diabetes devices},
  author={Klonoff, David C},
  journal={Journal of diabetes science and technology},
  volume={9},
  number={5},
  pages={1143--1147},
  year={2015},
  publisher={SAGE Publications Sage CA: Los Angeles, CA}
}
@article{melmer2019glycaemic,
  title={Glycaemic control in individuals with type 1 diabetes using an open source artificial pancreas system (OpenAPS)},
  author={Melmer, Andreas and Z{\"u}ger, Thomas and Lewis, Dana M and Leibrand, Scott and Stettler, Christoph and Laimer, Markus},
  journal={Diabetes, Obesity and Metabolism},
  volume={21},
  number={10},
  pages={2333--2337},
  year={2019},
  publisher={Wiley Online Library}
}



@online{pthreads,
    title = "The Open Group Base Specifications Issue 7, IEEE Std 1003.1",
    url  = "https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html",
    addendum = "(Accessed: 2024-03-22)",
}

@online{valgrind,
    title = "Valgrind Documentation",
    url  = "https://valgrind.org/docs/manual/ms-manual.html",
    note = "Massif: a heap profiler",
    addendum = "(Accessed: 2024-04-12)",
}

@online{manpage,
    title = "Linux manual",
    url  = "https://man7.org/linux/man-pages/man1/size.1.html",
    note = "page: size(1)",
    addendum = "(Accessed: 2024-04-12)",
}

@inproceedings{wait,
  title={Bringing WebAssembly to Resource-constrained IoT Devices for Seamless Device-Cloud Integration},
  author={Li, Borui and Fan, Hongchang and Gao, Yi and Dong, Wei},
  booktitle={Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services},
  pages={261--272},
  year={2022}
}

@article{wasm_security,
  title={Security chasms of wasm},
  author={McFadden, Brian and Lukasiewicz, Tyler and Dileo, Jeff and Engler, Justin},
  journal={NCC Group Whitepaper},
  year={2018}
}

@INPROCEEDINGS{wamr_bench,
  author={Wang, Wenwen},
  booktitle={2022 IEEE International Symposium on Workload Characterization (IISWC)}, 
  title={How Far We’ve Come – A Characterization Study of Standalone WebAssembly Runtimes}, 
  year={2022},
  volume={},
  number={},
  pages={228-241},
  keywords={Knowledge engineering;Runtime;Memory management;Binary codes;Benchmark testing;Safety;Browsers},
  doi={10.1109/IISWC55918.2022.00028}}
