Achievable bisimilar behaviour of abstract state systems