Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱ | Synapse