... aspects of requirements development, design, implementation, and verification of mechanical, thermal ... , perform analysis, and design efficient logic algorithms and state machines to manage and control various ...