@InProceedings{LIS20,<br>title = {Rex: A Symbolic Language for the Design and Parallel Implementation of Embedded Systems},<br>author = {Leslie Pack Kaelbling},<br>year = {1987},<br>url = {https://arc.aiaa.org/doi/abs/10.2514/6.1987-2822},<br>booktitle = {Proceedings of the AIAA Conference on Computers in Aerospace},<br>address = {Wakefield, Massachusetts},<br>}