A Design Tool to Reason about Ambient Assisted Living Systems | IEEE Conference Publication | IEEE Xplore