Synapse : a real-time programming language