On Designing and Verifying Smart Home Embedded Software Model Based on AADL | IEEE Conference Publication | IEEE Xplore