Embedded software development with Pascal