H: A component-based specification language for heterogeneous applications | Publicación