Model checking the composition of hypermedia design components