Session details: Enhancing and evolving embedded systems languages for safety