Proceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems