The composability of ASTRAL specifications