Reliable Software, Real-time Systems, High-Performance Embedded Systems, Programming Languages