Model-Driven Development of Formally Verified Human-Robot Interactions (SpringerBriefs in applied sciences and technology)