Frontiers of Performability Engineering