Master Thesis: Implementing Safety Critical Software Modules Using A Function Language