DSL for functional embedded device operational specifications with past time.