Designing, Engineering, and Analyzing Reliable and Efficient Software inbundenEngelska, 2013