An Example Specification for

Implementing a Car Lock Component

Sequence diagram II