Safety critical software components