Design lifecycle for secure cyber-physical systems based on embedded devices | IEEE Conference Publication | IEEE Xplore