@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>booktitle = {Proceedings of the AIAA Conference on Computers in Aerospace},<br>address = {Wakefield, Massachusetts},<br>}