Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems | IEEE Conference Publication | IEEE Xplore