Problem
Choose an implementation technology extensively used in a system familiar to you (software, board-level digital electronics, microwaves, or any other). What models are used to specify a system to be built? That is, what are the equivalents of buildable blueprints in this technology? What issues would be involved in scaling those models up one level of abstraction so they could be used to specify the system before implementation design?